Why Offensive Security Needs Engineering Textbooks or, how to avoid a replay of “crypto wars” in security research Sergey Bratus, Iv´an Arce, Michael E. Locasto, Stefano Zanero August 22, 2014 Offensive security—o

Source URL: www.cs.dartmouth.edu

• Formal sciences
• Cryptography
• Computer network security
• Crime prevention
• National security
• Exploit
• Computer security
• Vulnerability
• Computing
• Security hacker
• Theoretical computer science
• Computer science

A comparative study of programmer-written and automatically inferred contracts Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch

Source URL: se.ethz.ch

• Software engineering
• Computer programming
• Software
• Formal methods
• Logic in computer science
• Object-oriented programming languages
• Object-oriented programming
• Software testing
• Postcondition
• Eiffel
• Assertion
• Class invariant

Jeffrey L. Lidz University of Maryland Department of Linguistics 1401 Marie Mount Hall College Park, MD

Source URL: ling.umd.edu

• Semantics
• Academia
• Cognitive science
• Cognition
• Bootstrapping
• Language acquisition
• Language Acquisition: A Journal of Developmental Linguistics
• Sandra Waxman
• West Coast Conference on Formal Linguistics
• Cognitive linguistics
• Concept

LACL 2012 Logical Aspects of Computational Linguistics System Demonstrations

Source URL: lacl.gforge.inria.fr

• Linguistics
• Grammar
• Formal languages
• Cognitive science
• Syntax
• Tree-adjoining grammar
• Categorial grammar

M EMORAX, a precise and sound tool for automatic fence insertion under TSO ? Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1

Source URL: user.it.uu.se

• Theoretical computer science
• Mathematics
• Finite automata
• Computing
• Theory of computation
• Formal methods
• Reachability problem
• Logic in computer science
• Model checking
• Memory barrier
• Preorder
• Algorithm

Toilet_Thermo_Governors_141015a

Source URL: www.dubberly.com

• Cybernetics
• Academia
• Systems science
• Cognitive science
• Risk
• Systems theory
• Formal sciences
• Systems thinking
• Second-order cybernetics
• System
• Autopoiesis
• Control theory

CTP-based programming languages ? Considerations about an experimental design Florian Haftmann Cezary Kaliszyk

Source URL: dream.inf.ed.ac.uk

• Theoretical computer science
• Automated theorem proving
• Logic in computer science
• Proof assistants
• Formal methods
• Isabelle
• Type theory
• HOL
• Automated reasoning
• Computer algebra system
• Vienna Development Method
• Software development

Computer Science Technical Report Toward a programmer-friendly formal specification of the UPC memory model by William Kuchera and Charles Wallace

Source URL: www.upc.mtu.edu

• Parallel computing
• Concurrent computing
• Computer memory
• Memory barrier
• Unified Parallel C
• Universal Product Code
• Thread
• Consistency model
• Synchronization
• Java concurrency
• Monitor

Mostly-Automated Verification of Low-Level Programs in Computational Separation Logic Adam Chlipala Harvard University PLDI 2011

Source URL: adam.chlipala.net

• Theoretical computer science
• Logic in computer science
• Formal methods
• Constraint programming
• Electronic design automation
• Satisfiability modulo theories
• Separation logic
• Mathematical logic
• Logic programming
• Logic

Soundness of Formal Encryption in the Presence of Active Adversaries Daniele Micciancio and Bogdan Warinschi Dept. of Computer Science & Engineering University


Source URL: www.cs.bris.ac.uk